strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- unfolding n. 演变；[生化] 伸展；[生物物理] 解折叠 v. 展开（unfold的ing形式）
- mispronounce vi. 发错音 vt. 发错音
- dilution n. 稀释，冲淡；稀释法；冲淡物
- battleship n. （美）战舰
- Attila [化] 阿蒂拉热室(法国氟化挥发法核燃料后处理用)
- octopus n. 章鱼 章鱼肉
- intercut vt. 使镜头交切 vi. 作镜头交切
- dopaminergic adj. 多巴胺能的
- berk n. 傻子 n. (Berk)人名；(英、德)伯克；(法、俄、土)贝尔克
- captivating adj. 迷人的；有魅力的 v. 使…着迷（captivate的ing形式）
- watertight adj. 水密的；不漏水的；无懈可击的
- ruins n. 遗迹（ruin的复数形式）；废墟 v. 毁灭（ruin的三单形式）
- Reynard (民间故事中的)列那狐, [reynard ] 狐狸
- holman 霍尔曼（姓氏）
- jocular adj. 爱开玩笑的；打趣的；滑稽的
- urgently adv. 迫切地；紧急地；急切地
- cromwell n. 克伦威尔（姓氏）
- Ashford n. (Ashford)人名；(英、西)阿什福德 阿什福德
- Dessie n. (Dessie)人名；(埃塞)德西埃
- Uzbekistan n. 乌兹别克斯坦（苏联加盟共和国名）
考试词汇表
- staphylococcus pyogenes
- staphylococcus simulans
- staphylopharyngorrhaphy
- staphylorrhaphy forceps
- staphylostreptococcemia
- staphylostreptococcosis
- star burst test pattern
- star cloud spectrograph
- star connection circuit
- star distributed system
- star identification map
- star occultation method
- star oceultation method
- star shaped carbon cell
- star wired ring network
- star-100 (string array)
- star-produced component
- star-shaped carbon cell
- star-shaped disposition
- star-tracking telescope
